formalized theory - Spanish English Dictionary